Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
41	GIS III: Advanced GIS Lab 03: Parsing street address strings with Python, geocoding and some simple date-a analysis. Introduction and purpose Street addresses and geocoding (Bolstad, p395-397, An important eleme Add to Reading List Source URL: webspace.ship.edu Language: English - Date: 2016-02-09 15:26:17 Computing Formal languages Data types Primitive types Combinatorics Geocoding Data GIS software ArcGIS String Geographic information system Meter Point Administration Number
42	Tracking Code Patterns over Multiple Software Versions with Herodotos Nicolas Palix DIKU University of Copenhagen Denmark Add to Reading List Source URL: coccinelle.lip6.fr Language: English Software Computing System software Formal languages Pattern matching Cryptographic software Cross-platform software OpenSSL Diff utility Software quality Software bug Regular expression
43	Municipal Open Data Policies Since 2006, an accelerating number of US cities have made a formal commitment to transparency by requiring publication of government data. This analysis studies ten documents cities have crea Add to Reading List Source URL: www.sandiegodata.org Language: English - Date: 2016-04-03 11:29:50 Software Computing System software Free culture movement Open data X Window System X Privacy Portable Document Format Geographic information system
44	International Journal of Artificial Intelligence and Interactive Multimedia, Vol. 2, Nº 2. L.I.M.E. A recommendation model for informal and formal learning, engaged Daniel Burgos UNIR Research, International University Add to Reading List Source URL: www.ijimai.org Language: English - Date: 2016-03-29 07:56:23 Education Educational psychology Learning Instructional design Virtual learning environment Informal learning E-learning Educational technology Collaborative learning Adaptive learning Recommender system Active learning
45	TOWARD IMPLEMENTING A FORMAL APPROACH TO AUTOMATE THEMATIC ACCURACY CHECKING FOR DIGITAL CARTOGRAPHIC DATASETS Barbara Bicking and Kate Beard National Center for Geographic Information and Analysis and Department of Surv Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:27:19 Cartography Geography Geographic information system Geomatics Thematic map Map Geometric dimensioning and tolerancing Topography Topological map Topographic map Object Process Methodology Spatial ETL
46	A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2015-01-21 15:14:28 Software engineering Computing Programming language theory Type theory Concurrent programming languages Program analysis Type system Go Sheaf Orbifold CurryHoward correspondence
47	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D15 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-05-18 04:39:28 Software Automated theorem proving Formal methods Rodin Eclipse Nullsoft Scriptable Install System Rodin tool
48	An Applied Ontology for Semantics Associated with Surface Water Features Dalia E. Varanka E. Lynn Usery U.S. Geological Survey Add to Reading List Source URL: cegis.usgs.gov Language: English - Date: 2014-12-15 16:23:10 Ontology Semantic Web Computing Knowledge representation Information science Information Knowledge engineering Upper ontology Formal ontology Web Ontology Language Geographic information system National Hydrography Dataset
49	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
50	ASICS® CENTERLINE™ JERSEY Lightweight moisture managment system. 100% polyester interlock. Women’s Sizes: XS-XXL. BT2249 1-5 6-11 12-23 24+ Add to Reading List Source URL: www.wwsport.com Language: English - Date: 2015-08-03 11:38:44 Clothing Formal wear 19th-century fashion Clothing sizes Dresses Fashion design Dress shirt